\hypertarget{dir_3f14f6767c31cb4a1d22c13c18cc6fc3}{\section{model Directory Reference}
\label{dir_3f14f6767c31cb4a1d22c13c18cc6fc3}\index{model Directory Reference@{model Directory Reference}}
}
\subsection*{Directories}
\begin{DoxyCompactItemize}
\item 
directory \hyperlink{dir_dfacf9feabcacd6a7f0d27a27a115723}{clipper}
\item 
directory \hyperlink{dir_5e3eef9365ac26d01bb14caef3320e96}{flex}
\end{DoxyCompactItemize}
\subsection*{Files}
\begin{DoxyCompactItemize}
\item 
file {\bfseries D\-F\-P\-N2.\-cpp}
\item 
file {\bfseries D\-F\-P\-N2.\-h}
\item 
file {\bfseries Event.\-h}
\item 
file \hyperlink{Facade_8cpp}{Facade.\-cpp}
\begin{DoxyCompactList}\small\item\em The Facade following the facade pattern. The facade pattern gives a class to access the subsystem of the models. The controllers send requests to the facade. \end{DoxyCompactList}\item 
file {\bfseries Facade.\-h}
\item 
file {\bfseries Formula.\-cpp}
\item 
file {\bfseries Formula.\-h}
\item 
file {\bfseries Geometry\-Helper.\-cpp}
\item 
file {\bfseries Geometry\-Helper.\-h}
\item 
file {\bfseries Interval\-Set.\-cpp}
\item 
file {\bfseries Interval\-Set.\-h}
\item 
file {\bfseries Line.\-cpp}
\item 
file {\bfseries Line.\-h}
\item 
file {\bfseries Logger.\-h}
\item 
file {\bfseries main.\-cpp}
\item 
file {\bfseries main2old.\-cpp}
\item 
file {\bfseries mainold.\-cpp}
\item 
file \hyperlink{ModelChecker_8cpp}{Model\-Checker.\-cpp}
\begin{DoxyCompactList}\small\item\em The model checker class for model checking H\-P\-N\-Gs against S\-T\-L. \end{DoxyCompactList}\item 
file {\bfseries Model\-Checker.\-h}
\item 
file {\bfseries Polygon.\-cpp}
\item 
file {\bfseries Polygon.\-h}
\item 
file {\bfseries Region.\-cpp}
\item 
file {\bfseries Region.\-h}
\item 
file {\bfseries Timed\-Diagram.\-cpp}
\item 
file {\bfseries Timed\-Diagram.\-h}
\end{DoxyCompactItemize}
